extensions-window: Add tooltips to headerbar buttons

"Controls in the header bars of primary windows should all have tooltips".

https://developer.gnome.org/hig/patterns/feedback/tooltips.html

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2653>

diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui
index a39be49ae184662bfaad738e7f96b10655395405..6779e8edfbe1e1f93c749e160fda800c073465c3 100644 (file)
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -22,6 +22,7 @@
           <object class="GtkHeaderBar">
             <child type="end">
               <object class="GtkMenuButton" id="menuButton">
+                <property name="tooltip-text" translatable="yes">Main Menu</property>
                 <property name="receives-default">True</property>
                 <property name="menu-model">primary-menu</property>
                 <property name="icon-name">open-menu-symbolic</property>
@@ -30,6 +31,7 @@
             </child>
             <child type="start">
               <object class="GtkToggleButton" id="searchButton">
+                <property name="tooltip-text" translatable="yes">Search</property>
                 <property name="receives-default">True</property>
                 <property name="icon-name">edit-find-symbolic</property>
                 <child>